Language-based system - PDFSEARCH.IO - Document Search Engine

Language-based system
Results: 412

#	Item
351	DELAWARE SUPREME COURT ADMINISTRATIVE DIRECTIVE NO. 107 This 4th day of April, 1996, IT APPEARS THAT: (1) The Delaware justice system is based upon the guiding principle that all persons, Add to Reading List Source URL: courts.delaware.gov Language: English - Date: 2010-06-25 07:56:41 Officer of the court Interpreter State court Supreme court Supreme Court of the United States Supreme Court of Finland Government Pacific Interpreters Language interpretation Law Registry of Interpreters for the Deaf
352	ROMANIZATION SYSTEM FOR KURDISH BGN/PCGN 2007 The tabulation below is applicable to the Kurdish language as a whole. It is based for the most part on the Hawar Roman alphabet used in the Library of Congress Standard Kurd Add to Reading List Source URL: earth-info.nga.mil Language: English - Date: 2012-05-02 12:10:27 Orthography Kurdish language Languages of Israel Languages of Lebanon Romanization Kurdish alphabets Persian alphabet Digraph Arabic language Languages of Asia Linguistics Arabic alphabets
353	Conceptual Design of Identity Management in a profile-based access control by Asem Hassan Add to Reading List Source URL: www.linecity.de Language: English - Date: 2006-05-06 15:44:26 Identity Federated identity Security Assertion Markup Language Shibboleth Liberty Alliance Federated identity management Authentication Digital identity XACML Identity management Computer security System software
354	SMT-Based System Verification with DVF Amit Goel, Sava Krsti´c, Rebekah Leslie, Mark R. Tuttle Intel Corporation Abstract We introduce the Deductive Verification Framework (DVF ), a language and a tool for verifying pro Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2012-06-12 17:13:00 Logic in computer science Data types Formal methods Pointer First-order logic Satisfiability Modulo Theories Assertion ALGOL 68 Theoretical computer science Software engineering Computer programming
355	Attribute-Based Credentials for Trust D2.1 Architecture for Attribute-based Credential Technologies – Version 1 Jan Camenisch, Ioannis Krontiris, Anja Lehmann, Gregory Neven, Christian Paquin, Kai Rannenberg, Harald Z Add to Reading List Source URL: abc4trust.eu Language: English - Date: 2012-12-14 04:57:45 Computing Security Assertion Markup Language OpenID Identity management system Credential OAuth Internet privacy X.509 Privacy Identity management Identity Computer security
356	EUROPEAN FOOD SAFETY AUTHORITY CALL FOR EXPRESSIONS OF INTEREST TO BECOME A MEMBER OF THE MANAGEMENT BOARD (all relevant fields must be duly completed (for paper based expression of interests: in capital letters using BL Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2012-03-20 16:56:39 Postal code C Software engineering At sign Address Programming language theory Postal system Country code top-level domains Computing
357	PAID ADVERTISEMENT Moving to Software Factories Jack Greenfield and Keith Short, Architects, Visual Studio Team System, Microsoft Corporation. Industrializing Software Development Add to Reading List Source URL: softwarefactories.com Language: English - Date: 2004-07-16 00:20:18 Integrated development environments Systems engineering Unified Modeling Language Software factory Model-driven architecture Software development methodology Domain-specific language Component-based software engineering Microsoft Visual Studio Software Information technology management Software architecture
358	Composition for Component-Based Modeling Gregor G¨ossler a , Joseph Sifakis b a INRIA Rhˆ one-Alpes, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Cybernetics Systems theory Data Information Component-based software engineering System Process calculus Communications protocol Modeling language Software engineering Object-oriented programming Software architecture
359	www.computer.org/software Rigorous Component-Based System Design Using the BIP Framework Anandu Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, and Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Computing Science Object-oriented programming Component-based software engineering Modeling language Binding immunoglobulin protein Model checking Actor model Software design Scientific modeling Software engineering Systems science
360	Composition for Component-Based Modeling? Gregor G¨ossler1 and Joseph Sifakis2 1 1 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Data Process calculus System Component-based software engineering Communications protocol Modeling language Parallel computing Software engineering Object-oriented programming Computing

UPDATE